Notes (Week 1)
Table of Contents
1 Computability
To get a basic idea of the notion of ''computability'', please study the following two Wikipedia articles. They are not very deep, but they will give you a general understanding of this fundamental topic:
2 Lambda calculus
To get a basic understanding of the lambda calculus, please study the Wikipedia article:
Liam has also made an interactive lambda calculus evaluator, available here:
3 History (optional)
If you want to read up on some of the people beyond Alan Turing I mentioned in the lecture, their Wikipedia pages are good starting points.
The book Gödel, Escher, Bach: an eternal golden braid explores (among other topics) the consequences of the incompleteness theorem.